Generic programming - PDFSEARCH.IO - Document Search Engine

Generic programming
Results: 1118

#	Item
361	Haskell for EDSLs Andres L¨ oh Utrecht University [removed] Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Data types Type theory Haskell Literate programming Functional programming Generic programming Glasgow Haskell Compiler Pattern matching Software engineering Computing Computer programming
362	Generic Views on Data Types Stefan Holdermans Johan Jeuring Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Data types Type theory Functional programming Category theory Generic programming Algebraic data type Fold Type system Recursive data type Software engineering Computing Computer programming
363	Open data types and open functions Andres L¨oh and Ralf Hinze April 10, 2006 Overview Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Lisp programming language Generic programming Boolean data type Expression problem Eval Programming language S-expression Software engineering Computing Data types
364	City College of San Francisco Course Outline of Record I. II. Add to Reading List Source URL: www.ccsf.edu Language: English - Date: 2009-09-23 13:49:15 C++ Scripting languages Template Microsoft Word WOPR Microsoft Office City College of San Francisco Software Computing Generic programming
365	Facilitating Reuse in Hardware Models with Enhanced Type Inference Manish Vachharajani Neil Vachharajani Add to Reading List Source URL: liberty.cs.princeton.edu Language: English - Date: 2011-11-28 14:53:01 Computing Type inference Type system Parametric polymorphism Subtype polymorphism Generic programming Standard ML Hindley–Milner Data type Type theory Software engineering Programming language theory
366	Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, [removed] Abstract. Datatype-generic programs are program Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-07-19 06:14:04 Mathematical logic Boolean algebra Catamorphism Functional programming Relation algebra Anamorphism Category Structure Composition of relations Mathematics Abstract algebra Category theory
367	Structural polymorphism in Generic Haskell ¨ Andres Loh [removed] 5 February 2005 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Data types Type theory Haskell Literate programming Generic programming Factorial Type system D Software engineering Computing Computer programming
368	Datatype-Generic Termination Proofs Roland Backhouse and Henk Doornbos [removed] School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, henk.doornbos@questan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-06-22 04:16:03 Category theory Combinatorics on words Functional programming Data types Catamorphism Generic programming Relation algebra Function String Mathematics Abstract algebra Mathematical logic
369	True Sums of Products Workshop on Generic Programming 2014 Edsko de Vries, Andres Löh 31 August 2014 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2014-09-01 09:38:41 Type theory Data types Generic programming Lambda calculus Logic in computer science Type system Combinatory logic C Haskell Software engineering Programming language theory Computing
370	Preprint version. A Pattern for Almost Compositional Functions Bj¨orn Bringert Aarne Ranta Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-07-27 18:53:27 Computing Data types Functional programming Monad Pattern matching Generic programming Generalized algebraic data type Algebraic data type Type system Software engineering Declarative programming Type theory

UPDATE